1. Applications of neural networks in high assurance systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Neural networks (Computer science) ; System safety. ; Expert systems (Computer science) ; Validation. ; Expert systems (Computer science) ; Verification. ; Sicherheitskritisches System ; swd. ; Adaptivregelung ; swd. ; Neuronales Netz ; swd. ; Reglerentwu
2. Applications of neural networks in high assurance systems
پدیدآورنده : / Johann Schumann, Yan Liu (Eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Neural networks (Computer science)
رده :
006
.
3
A652
2010
3. Automated theorem proving in software engineering
پدیدآورنده : Schumann, Johann M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Software engineering,، Automatic theorem proving
رده :
QA
76
.
758
.
S38
2001
4. Automated theorem proving in software engineering
پدیدآورنده : Johann M. Schumann ; foreword by Donald Loveland,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Software engineering,Automatic theorem proving
رده :
QA
.
S38
76
.
758
2001
